home *** CD-ROM | disk | FTP | other *** search
/ Gekikoh Dennoh Club 5 / Gekikoh Dennoh Club Vol. 5 (Japan).7z / Gekikoh Dennoh Club Vol. 5 (Japan) (Track 01).bin / docs / rakup / match07.doc < prev    next >
Text File  |  1998-10-03  |  13KB  |  552 lines
  1. ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬
  2. (MATCH07.DOC)
  3.  é¿ïCèyé▓é¡éτé¡âvâìâOâëâ~âôâOôⁿûσ ö╘èOò╥ üuâGâLâXâpü[âgâVâXâeâÇé╠ì∞ɼüv
  4.                                                                ìLêΣü@É╜ 
  5. ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬
  6.  
  7. ü¢Ä└ìsùß -- ë╞înÉ}
  8.  
  9.   âvâìâOâëâÇé¬è«É¼é╡é╜é╠é┼üAÄ└ì█é╔ô«ì∞é│é╣é─é▌é▄é╡éσéñüBï∩æ╠ôIé╚ùßæΦé╞é╡
  10.  
  11. é─üAăé╠éµéñé╚ë╞înÉ}é≡ìléªé─é▌é▄é╖üB
  12.  
  13.  
  14.                                            äíäƒäƒäƒ ÄOÿY
  15.                                     ìKÄq   äá
  16.                                      ä½äƒäƒäº
  17.                              äíäƒäƒ êΩÿY   äá
  18.                       æ╛ÿY   äá            äñäƒäƒäƒ ùmÄq
  19.                        ä½äƒäƒä⌐äƒäƒ ÄƒÿY
  20.                       ë╘Äq   äá
  21.                              äñäƒäƒ ùFÄq
  22.  
  23.  
  24.                              É} 22 : ë╞înÉ}
  25.  
  26.  
  27.   é▒é╠ë╞înÉ}é═üAăé╠éµéñé╚ÄûÄ└é┼ò\é╖é▒é╞é¬é┼é½é▄é╖üB
  28.  
  29.  
  30.      List 47 : ë╞înÉ}é╠ÆΦï`(âtâ@âCâï FAMILY.DAT é╔èiö[)
  31.  
  32.    1 ((Æjɽ æ╛ÿY))            ; æ╛ÿYé═Æjɽé┼éáéΘüB
  33.    2 ((Æjɽ êΩÿY))            ; êΩÿYé═Æjɽé┼éáéΘüB
  34.    3 ((Æjɽ ÄƒÿY))            ; ÄƒÿYé═Æjɽé┼éáéΘüB
  35.    4 ((Æjɽ ÄOÿY))            ; ÄOÿYé═Æjɽé┼éáéΘüB
  36.    5 ((Åùɽ ë╘Äq))            ; ë╘Äqé═Åùɽé┼éáéΘüB
  37.    6 ((Åùɽ ùFÄq))            ; ùFÄqé═Åùɽé┼éáéΘüB
  38.    7 ((Åùɽ ìKÄq))            ; ìKÄqé═Åùɽé┼éáéΘüB
  39.    8 ((Åùɽ ùmÄq))            ; ùmÄqé═Åùɽé┼éáéΘüB
  40.    9 ((òâÉe æ╛ÿY êΩÿY))       ; æ╛ÿYé═êΩÿYé╠òâÉeé┼éáéΘüB
  41.   10 ((òâÉe æ╛ÿY ÄƒÿY))       ; æ╛ÿYé═ăÿYé╠òâÉeé┼éáéΘüB
  42.   11 ((òâÉe æ╛ÿY ùFÄq))       ; æ╛ÿYé═ùFÄqé╠òâÉeé┼éáéΘüB
  43.   12 ((òΩÉe ë╘Äq êΩÿY))       ; ë╘Äqé═êΩÿYé╠òΩÉeé┼éáéΘüB
  44.   13 ((òΩÉe ë╘Äq ÄƒÿY))       ; ë╘Äqé═ăÿYé╠òΩÉeé┼éáéΘüB
  45.   14 ((òΩÉe ë╘Äq ùFÄq))       ; ë╘Äqé═ùFÄqé╠òΩÉeé┼éáéΘüB
  46.   15 ((òâÉe êΩÿY ÄOÿY))       ; êΩÿYé═ÄOÿYé╠òâÉeé┼éáéΘüB
  47.   16 ((òâÉe êΩÿY ùmÄq))       ; êΩÿYé═ùmÄqé╠òâÉeé┼éáéΘüB
  48.   17 ((òΩÉe ìKÄq ÄOÿY))       ; ìKÄqé═ÄOÿYé╠òΩÉeé┼éáéΘüB
  49.   18 ((òΩÉe ìKÄq ùmÄq))       ; ìKÄqé═ùmÄqé╠òΩÉeé┼éáéΘüB
  50.   19 ; ïKæÑé╠ÆΦï`
  51.   20 ((ù╝Ée X Y) (òâÉe X Y))
  52.   21 ((ù╝Ée X Y) (òΩÉe X Y))
  53.   22 ((æºÄq X Y) (ù╝Ée Y X) (Æjɽ X))
  54.   23 ((û║ X Y)   (ù╝Ée Y X) (Åùɽ X))
  55.   24 ((æcòâ X Y) (ù╝Ée Z Y) (òâÉe X Z))
  56.  
  57.  
  58.   É½ò╩é╠ÆΦï`é═è╚ÆPé┼é╖é╦üBÆjɽüAÅùɽé╞éóéñÅqîΩé≡Ägé┴é─éóé▄é╖üBòâÉeé╞òΩÉe
  59.  
  60. é┼é╖é¬üA(òâÉe X Y) é╞ÆΦï`é╡é╜ÅΩìçüAüuX é═ Y é╠òâÉeüvé╞éóéñè╓îWé≡ò\é╡é▄é╖üB
  61.  
  62.   é╗éΩé┼é═üAÆΦï`é╡é╜ÄûÄ└é≡Ägé┴é─ïKæÑé≡ì∞é┴é─é▌é▄é╡éσéñüBé▄é╕üuù╝Éeüvé╞éó
  63.  
  64. éñïKæÑé≡ÆΦï`é╡é▄é╖üBù╝Éeé═üAòâÉeé⌐òΩÉeé╞éóéñÄûÄ└é≡û₧é╜é╣é╬éóéóé┼é╖é╦üBé▒
  65.  
  66. é╠éµéñé╚ÅΩìçüAăé╠éµéñé╔ÆΦï`é╡é▄é╖üB
  67.  
  68.  
  69.      List 48 : ù╝Éeé╠ÆΦï`(X é═ Y é╠ù╝Éeé┼éáéΘ)
  70.  
  71.    1 ((ù╝Ée X Y) (òâÉe X Y))
  72.    2 ((ù╝Ée X Y) (òΩÉe X Y))
  73.  
  74.  
  75.   üuù╝Éeé═òâÉeé┼éáéΘüvé╞üuù╝Éeé═òΩÉeé┼éáéΘüvé╞éóéñïKæÑé≡ÆΦï`é╡é╜é╛é»é┼é╖
  76.  
  77. é¬üAì┼Åëé╠É▀é¬Ä╕ösé╡é╜éτăé╠É▀é¬æIæ≡é│éΩé▄é╖é╠é┼üAüuù╝Éeé═òâÉeé▄é╜é═òΩÉe
  78.  
  79. é┼éáéΘüvé╞éóéñÅ≡îÅé≡û₧é╜é╡é─éóé▄é╖üBæ╝é╠âvâìâOâëâÇî╛îΩé┼é═üAüuü`é▄é╜é═ü`üv
  80.  
  81. é╞éóéñÅ≡îÅé═ OR é≡Ägé┴é─ò\î╗é╖éΘé╠é¬êΩö╩ôIé┼é╖é¬üAìíë±é╠éµéñé╚âGâLâXâpü[
  82.  
  83. âgâVâXâeâÇé┼é═üAProlog é╠ÅΩìçéαô»ùlé┼é╖é¬üAòíÉöé╠ïKæÑé≡ÆΦï`é╖éΘé╛é»é┼ OR
  84.  
  85. é≡Ä└î╗é╖éΘé▒é╞é¬é┼é½éΘé╠é┼é╖üBüuü`é⌐é┬ü`üvé═æOé╔Éαû╛é╡é╜éµéñé╔ïKæÑé┼âSü[
  86.  
  87. âïé≡ò└é╫éΘé▒é╞é┼Ä└î╗é┼é½é▄é╡é╜üBé╗éΩé┼é═Ä└ìsé╡é─é▌é▄é╡éσéñüBêΩÿYé╠ù╝Éeé═
  88.  
  89. ÆNé⌐üAÄ┐ûΓé╡é─é▌é▄é╖üB
  90.  
  91.  
  92.  Lisp > (Q '(ù╝Ée X êΩÿY))
  93.  X = ë╘Äq
  94.  
  95.  X = æ╛ÿY
  96.  
  97.  nil
  98.  
  99.  
  100. É│ë≡é═æ╛ÿYé╞ë╘Äqé┼é╖üBéñé▄é¡ô«ì∞é╡é─éóé▄é╖é╦üBé╗éΩé┼é═üAé▒é╠ïKæÑé≡Ägé┴é─
  101.  
  102. üuæºÄqüvé╞éóéñïKæÑé≡ÆΦï`é╡é▄é╡éσéñüBX é¬ Y é╠æºÄqé┼éáéΘé╚éτé╬üAY é═ X é╠
  103.  
  104. ù╝Éeé┼é⌐é┬ X é═Æjɽé╠é═é╕é┼é╖üBăé╠éµéñé╚ïKæÑé╔é╚éΦé▄é╖üB
  105.  
  106.  
  107.      List 49 : æºÄqé╠ÆΦï`(X é═ Y é╠æºÄqé┼éáéΘ)
  108.  
  109.    1 ((æºÄq X Y) (ù╝Ée Y X) (Æjɽ X))
  110.  
  111.  
  112. üué⌐é┬üvé═ïKæÑé┼âSü[âïé≡Åçö╘é╔ò└é╫éΩé╬Ä└î╗é┼é½é▄é╡é╜é╦üBé▄é╕ (ù╝Ée Y X)
  113.  
  114. é≡û₧é╜é╖è╓îWé≡ïüé▀é▄é╖üBé╗é╠îπ (Æjɽ X) é┼ X é¬Æjɽé┼éáéΘé▒é╞é≡èmé⌐é▀é▄
  115.  
  116. é╖üB(Æjɽ X) é┼Ä╕ösé╡é─éα (ù╝Ée Y X) é╔û▀é┴é─üAăé╠î≤òΓé≡î⌐é┬é»é─é¡éΩéΘ
  117.  
  118. é╠é┼æσÅΣòvé┼é╖üBé╗éΩé┼é═Ä└ìsé╡é─é▌é▄é╡éσéñüB
  119.  
  120.  
  121.  Lisp > (Q '(æºÄq X ë╘Äq))
  122.  X = êΩÿY
  123.  
  124.  X = ÄƒÿY
  125.  
  126.  nil
  127.  
  128.  
  129. ë╘Äqé╠æºÄqé═êΩÿYé╞ăÿYé┼éáéΘüAé╞ôÜéªé¬Åoé▄é╡é╜üBé▒é╠É▀é┼ (Æjɽ X) é≡
  130.  
  131. (Åùɽ X) é╔ò╧ìXé╖éΘé╞üuû║üvé╠è╓îWé≡ò\é╖é▒é╞é¬é┼é½é▄é╖üB
  132.  
  133.  
  134.      List 50 : û║é╠ÆΦï`(X é═ Y é╠û║é┼éáéΘ)
  135.  
  136.    1 ((û║ X Y) (ù╝Ée Y X) (Åùɽ X))
  137.  
  138.  
  139.   ì┼îπé╔üuæcòâüvé╠è╓îWé≡ïüé▀éΘïKæÑé≡ÆΦï`é╡é▄é╡éσéñüBé▒éΩé═ìíé▄é┼é╞êßé┴é─
  140.  
  141. é┐éσé┴é╞û╩ô|é┼é╖üBX é╠æcòâ Y é≡ïüé▀éΘé╔é═üAé▄é╕ X é╠ù╝Éeé≡ïüé▀üAé│éτé╔é╗
  142.  
  143. é╠òâÉeé≡ïüé▀é▄é╖üBòΩò√é╞òâò√é╔æcòâé¬éóé▄é╖é⌐éτüAòâÉeé╠òâÉeé≡ïüé▀éΘé╠é┼é═
  144.  
  145. òΩò√é╠æcòâé¬éφé⌐éΦé▄é╣é±üBX é╠ù╝Éeé≡ïüé▀éΘÅΩìçüAX é╞ Y ê╚èOé╠ò╧Éöé≡Ägéñ
  146.  
  147. é▒é╞é┼üAX é╠ù╝Éeé≡é╗é╠ò╧Éöé╞â}âbâ`âôâOé╖éΘé▒é╞é¬é┼é½é▄é╖üB
  148.  
  149.  
  150.      List 51 : æcòâé╠ÆΦï`(X é═ Y é╠æcòâé┼éáéΘ)
  151.  
  152.    1 ((æcòâ X Y) (ù╝Ée Z Y) (òâÉe X Z))
  153.  
  154.  
  155. ò╧Éö Z é╔ Y é╠ù╝Éeé¬æπôⁿé│éΩé▄é╖üBăé╔ Z é╠òâÉe鬠X é╔æπôⁿé│éΩé▄é╖üBò╧Éö
  156.  
  157. é≡Ägéñé▒é╞é┼Ä└ìsîïë╩é≡ò█Ä¥é╡üAăé╠âSü[âïé╓Ælé≡ôné╖é▒é╞é¬é┼é½éΘé╠é┼é╖üBé╗
  158.  
  159. éΩé┼é═Ä└ìsé╡é─é▌é▄é╡éσéñüB
  160.  
  161.  
  162.  Lisp > (Q '(æcòâ X Y))
  163.  X = æ╛ÿY
  164.  Y = ùmÄq
  165.  
  166.  X = æ╛ÿY
  167.  Y = ÄOÿY
  168.  
  169.  nil
  170.  
  171.   æcòâé╞ô»é╢éµéñé╔üuæcòΩüvé╠è╓îWéαÆΦï`é┼é½é▄é╖üB
  172.  
  173.  
  174. ü¢Ä└ìsùß -- è╚ÆPé╚âèâXâgæÇì∞
  175.  
  176.   ìíë±ì∞ɼé╡é╜âGâLâXâpü[âgâVâXâeâÇé═üAè╚ÆPé╚âèâXâgæÇì∞éαìséñé▒é╞é¬é┼é½é▄
  177.  
  178. é╖üBâåâjâtâBâPü[âVâçâô unify é═âhâbâgæ╬é≡Ägéñé╞üAé╞é─éαé¿éαé╡éδéóô«ì∞é≡
  179.  
  180. é╡é▄é╖üBăé╠ùßé≡î⌐é─é¡é╛é│éóüB
  181.  
  182.  
  183.  Lisp > (unify '(Åt ë─ ÅH ô~) (X . Y) nil)
  184.  (Y X)
  185.  
  186.  
  187.   âåâjâtâBâPü[âVâçâôé═ɼî≈é╡é▄é╡é╜é¬üAX é╞ Y é╔é═é╟é±é╚Ælé¬âZâbâgé│éΩé─
  188.  
  189. éóéΘé┼é╡éσéñé⌐üB
  190.  
  191.  
  192.  Lisp > X
  193.  Åt
  194.  
  195.  Lisp > Y
  196.  (ë─ ÅH ô~)
  197.  
  198.  
  199. âèâXâgé╞âhâbâgæ╬é≡â}âbâ`âôâOé╖éΘé╞üAâhâbâgé╠îπéδé╠ò╧Éöé═üuÄcéΦé╠âèâXâgæS
  200.  
  201. é─üvé╞â}âbâ`âôâOé╡é▄é╖üBé▒é╠ÅΩìçüAX é¬Éµô¬é╠ùvæfé╞â}âbâ`âôâOé╡üAÅté≡ĵéΦ
  202.  
  203. Å£éóé╜ÄcéΦé╠âèâXâgé╞ Y é¬â}âbâ`âôâOé╡é▄é╖üB
  204.  
  205.   é▒éΩé═üAunify é╠Ädægé▌é⌐éτìléªéΘé╞ôûæRé╠ô«ì∞é┼é╖üBé▄é╕üAÅté╞ X é¬â}âb
  206.  
  207. â`âôâOé╡é▄é╖é╦üBăé═üACDR òöé¬ÄµéΦÅoé│éΩé▄é╖é¬üAé▒é╠ÅΩìçüA(ë─ ÅH ô~) é╞
  208.  
  209. Y é≡Å╞ìçé╖éΘé▒é╞é╔é╚éΦé▄é╖üBé╡é╜é¬é┴é─üAY é╠Ælé═ (ë─ ÅH ô~) é╞é╚éΘé╠é┼é╖üB
  210.  
  211. éαéñÅ¡é╡ùßé≡î⌐é─é▌é▄é╡éσéñüB
  212.  
  213.  
  214.  Lisp > (unify (Åt ë─ ÅH ô~) (X Y . Z) nil)
  215.  (Z Y X)
  216.  
  217.  Lisp > X
  218.  Åt
  219.  
  220.  Lisp > Y
  221.  
  222.  ë─
  223.  
  224.  Lisp > Z
  225.  (ÅH ô~)
  226.  
  227.  
  228. é▒é╠ùßé┼é═üAX é¬ÅtüAY é¬ë─é╔â}âbâ`âôâOé╡üAÄcéΦé╠âèâXâgé╞ Z é¬â}âbâ`âôâO
  229.  
  230. é╡é▄é╖üBLisp é┼é═üAcar é┼âèâXâgé╠ɵô¬é╠ùvæfé≡üAcdr é┼ɵô¬é≡ĵéΦÅ£éóé╜Äc
  231.  
  232. éΦé╠âèâXâgé≡ïüé▀éΘé▒é╞é¬é┼é½é▄é╖é¬üAìíë±é╠âVâXâeâÇé┼é═üAâpâ^ü[âôâ}âbâ`âô
  233.  
  234. âOé≡ìséñé▒é╞é┼âèâXâgé≡ò¬ë≡é╖éΘé▒é╞é¬é┼é½éΘé╠é┼é╖üBÄ└é═üAProlog é┼éαô»é╢
  235.  
  236. éµéñé╔âèâXâgé≡æÇì∞é╖éΘé▒é╞é¬é┼é½é▄é╖üB
  237.  
  238.  
  239.   é╗éΩé┼é═ï∩æ╠ôIé╔âèâXâgæÇì∞é≡ìséñïKæÑé≡ì∞é┴é─é▌é▄é╡éσéñüBɵô¬é╠ùvæfé≡ïü
  240.  
  241. é▀éΘé▒é╞é╞üAɵô¬é╠ùvæfé≡ĵéΦÅ£éóé╜ÄcéΦé╠âèâXâgé≡ïüé▀éΘé▒é╞é═üAâèâXâgé╠âp
  242.  
  243. â^ü[âôâ}âbâ`âôâOé≡Ägéªé╬è╚ÆPé╔é┼é½é▄é╖üB
  244.  
  245.  
  246.      List 52 : Éµô¬é╠ùvæfé≡ĵéΦÅoé╖
  247.  
  248.    1 ((first (X . Y) X))
  249.  
  250.  
  251.      List 53 : Éµô¬é╠ùvæfé≡ĵéΦÅ£éóé╜âèâXâgé≡ïüé▀éΘ
  252.  
  253.    1 ((rest (X . Y) Y))
  254.  
  255.  
  256. ébî╛îΩéΓ Lisp ôÖé┼é═üAÄ└ìsîïë╩é≡è╓Éöé╠ò╘éΦÆlé╞é╡é─Åoù═é│é╣é▄é╖é¬üAìíë±é╠
  257.  
  258. âGâLâXâpü[âgâVâXâeâÇé┼é═üAæµ 1 ê°Éöé╔âèâXâgé≡ù^éªüAæµ 2 ê°Éöé╠ò╧Éöé┼ë≡é≡
  259.  
  260. ĵéΦÅoé╖éµéñé╔ÆΦï`é╖éΘé╠é¬â|âCâôâgé┼é╖üB
  261.  
  262.   Ä└ìsùßé≡Īé╡é▄é╡éσéñüB
  263.  
  264.  
  265.  Lisp > (Q '(first (a b c d) Z)
  266.  Z = a
  267.  nil
  268.  
  269.  Lisp > (Q '(rest (a b c d) Z))
  270.  Z = (b c d)
  271.  nil
  272.  
  273.  
  274.   first éα rest éαâèâXâgé╞ (X . Y) é≡â}âbâ`âôâOé╡é▄é╖üBX é╔é═ a é¬üAY é╔
  275.  
  276. é═ (b c d) é¬âZâbâgé│éΩé▄é╖üBfirst é╠ÅΩìçé═ò╧Éö Z é╞ò╧Éö X é¬â}âbâ`âôâO
  277.  
  278. é╖éΘé╠é┼üAZ é¬ a é╞é╚éΦé▄é╖üBrest é╠ÅΩìçé═ò╧Éö Y é╞â}âbâ`âôâOé╖éΘé╠é┼üAZ
  279.  
  280. é═ (b c d) é╞é╚éΘé╠é┼é╖üB
  281.  
  282.   Äƒé╔üAâèâXâgé╠ɵô¬é╔âfü[â^é≡Æ╟ë┴é╖éΘïKæÑé≡ì∞éΦé▄é╖üB
  283.  
  284.  
  285.      List 54 : âèâXâgé╠ɵô¬é╔âfü[â^é≡Æ╟ë┴
  286.  
  287.    1 ((add_to_list X L (X . L)))
  288.  
  289.  
  290.   é┼é═üAÄ└ìsùßé≡î⌐é─é¡é╛é│éóüB
  291.  
  292.  
  293.  Lisp > (Q '(add_to_list a (b c d) Z))
  294.  Z = (a b c d)
  295.  nil
  296.  
  297.  
  298. æµ 1 ê°Éöé╔Æ╟ë┴é╖éΘâfü[â^üAæµ 2 ê°Éöé╔âèâXâgüAæµ 3 ê°Éöé┼îïë╩é≡Ä≤é»ÄµéΦ
  299.  
  300. é▄é╖üBLisp é┼é═ cons é┼âèâXâgé╠ìçɼé≡ìséóé▄é╖é¬üAâpâ^ü[âôâ}âbâ`âôâOé┼ìs
  301.  
  302. éñé▒é╞é¬é┼é½éΘé╠é┼é╖üB
  303.  
  304.  
  305.   Äƒé═üA2 é┬é╠âèâXâgé≡ 1 é┬é╠âèâXâgé╔îïìçé╖éΘïKæÑé≡ì∞éΦé▄é╡éσéñüBLisp é╠
  306.  
  307. è╓Éö append é╞ô»é╢ô¡é½é╡é▄é╖üBLisp é═ì─ïAé≡Ägé┴é─è╚ÆPé╔ì∞éΘé▒é╞é¬é┼é½é▄
  308.  
  309. é╡é╜üBìíë±ì∞ɼé╡é╜âGâLâXâpü[âgâVâXâeâÇé┼éαüAì─ïAé≡Ägé┴é─è╚ÆPé╔ì∞éΘé▒é╞é¬
  310.  
  311. é┼é½é▄é╖üB
  312.  
  313.  
  314.      List 55 : âèâXâgé╠îïìç
  315.  
  316.    1 ((append nil X X))
  317.    2 ((append (U . X) Y (U . Z)) (append X Y Z))
  318.  
  319.  
  320.   append é═üAæµ 1 ê°Éöé╞æµ 2 ê°Éöé╠âèâXâgé≡îïìçé╡é╜îïë╩é¬üAæµ 3 ê°Éöé╔âZâb
  321.  
  322. âgé│éΩé▄é╖üB
  323.  
  324.   1 ìsû┌é═üAï≤âèâXâgé╞ X é≡îïìçé╖éΘé╞ X é┼éáéΘüAé╞éóéñé▒é╞é≡ò\é╡é─éóé▄é╖üB
  325.  
  326. é▒éΩé¬ì─ïAî─é╤Åoé╡é╠ÆΓÄ~Å≡îÅé╔é╚éΦé▄é╖üB2 ìsû┌é╠ïKæÑé┼é═üAô¬òöé┼æµ 1 ê°
  327.  
  328. Éöé╠âèâXâgé≡ U é╞ X é╔ò¬ë≡é╡é▄é╖üBăé╔üAæ╠òöé┼é═ÄcéΦé╠âèâXâg X é╔æ╬é╡é─
  329.  
  330. append é≡ì─ïAî─é╤Åoé╡é╡üAé╗é╠îïë╩鬠Z é╔âZâbâgé│éΩé▄é╖üBé╗é╡é─üAô¬òöé╠æµ
  331.  
  332. 3 ê°Éöé┼ Z é╔ U é¬Æ╟ë┴é│éΩé▄é╖üBé▒éΩé═üAâèâXâg X, Y é╠îïìçîïë╩ Z é╔ U é≡
  333.  
  334. Æ╟ë┴é╖éΘüAé╞éóéñïKæÑé≡ò\é╡é─éóé▄é╖üB
  335.  
  336.   Ä└ì█é╠ô«ì∞é═üAì─ïAî─é╤Åoé╡é╔éµé┴é─æµ 1 ê°Éöé╠âèâXâgé¬ò¬ë≡é│éΩüAÆΓÄ~Å≡
  337.  
  338. îÅé┼æµ 2 ê°Éöé¬æµ 3 ê°Éöé╞â}âbâ`âôâOé╡é▄é╖üBé▒é╠è╘ Z é═é╕é┴é╞Ä⌐ùRò╧Éöé╠
  339.  
  340. é▄é▄é┼éáéΘé▒é╞é╔Æìê╙é╡é─é¡é╛é│éóüBì─ïAî─é╤Åoé╡é⌐éτû▀éΘÄ₧é╔ Z é═æ⌐ö¢é│éΩ
  341.  
  342. éΘé╠é┼é╖üB
  343.  
  344.   ÆΓÄ~Å≡îÅé⌐éτû▀é┴é─é½é╜Æ╝îπé╔üAZ é═æµ 2 ê°Éöé╠âèâXâgé╔æ⌐ö¢é│éΩé─éóé▄é╖üB
  345.  
  346. îπé═üA(U . Z) é╔éµé┴é─æµ 1 ê°Éöé╠ùvæfé¬Æ╟ë┴é│éΩüAé╗é╠Ælé¬î─é╤Åoé╡î│é╠ Z
  347.  
  348. é╠Ælé╞é╚éΦé▄é╖üBîïï╟üAì─ïAî─é╤Åoé╡é⌐éτû▀é┴é─éóé¡Ä₧é╔üAæµ 1 ê°Éöé╠ùvæfé¬
  349.  
  350. Z é╔Æ╟ë┴é│éΩé─éóé┴é─üAâèâXâgé¬ÿAîïé│éΩéΘé╠é┼é╖üB
  351.  
  352.   é╚é╔é⌐Θxé│éΩé─éóéΘéµéñé╔ÄvéφéΩéΘé┼é╡éσéñé¬üAé▒éΩé┼É│Åφé╔ô«ì∞é╖éΘé╠é┼é╖üB
  353.  
  354. é╗éΩé┼é═Ä└ìsé╡é─é▌é▄é╡éσéñüB
  355.  
  356.  
  357.  Lisp > (Q '(append (a b c) (d e f) Z))
  358.  Z = (a b c d e f)
  359.  nil
  360.  
  361.  Lisp > (Q '(append ((a b) (c d)) ((e f) (g h)) Z))
  362.  Z = ((a b) (c d) (e f) (g h))
  363.  nil
  364.  
  365.  
  366.   âvâìâOâëâÇé╠ô«ì∞é≡ìléªéΘé╞ô¬é¬ì¼ùÉé╖éΘé⌐éαé╡éΩé▄é╣é±üBé▒é╠éµéñé╚âGâLâX
  367.  
  368. âpü[âgâVâXâeâÇé┼é═üAüuû╡Åéé╡é╚éóéµéñé╔ïKæÑé≡ÆΦï`é╖éΘüvé▒é╞é≡ÉSé¬é»é╜ò√é¬
  369.  
  370. éµéóé╠é┼é╡éσéñüB
  371.  
  372.   é╞é▒éδé┼üAappend é═âèâXâgé≡îïìçé╖éΘé╛é»é┼é╚é¡üAâèâXâgé≡ò¬ë≡é╖éΘô«ì∞é≡
  373.  
  374. ìséñé▒é╞é¬é┼é½é▄é╖üB
  375.  
  376.  
  377.  Lisp > (Q '(append Z (c d) (a b c d)))
  378.  Z = (a b)
  379.  nil
  380.  
  381.  Lisp > (Q '(append (a b) Z (a b c d)))
  382.  Z = (c d)
  383.  nil
  384.  
  385.  
  386.   éαé┴é╞ɪéóé╠é¬üAæµ 1 ê°Éöé╞æµ 2 ê°Éöé≡ò╧Éöé╔é╖éΘé▒é╞é┼é╖üB
  387.  
  388.  
  389.  Lisp > (Q '(append X Y (a b c d)))
  390.  Y = (a b c d)
  391.  X = nil
  392.  
  393.  Y = (b c d)
  394.  X = (a)
  395.  
  396.  Y = (c d)
  397.  X = (a b)
  398.  
  399.  Y = (d)
  400.  X = (a b c)
  401.  
  402.  Y = nil
  403.  X = (a b c d)
  404.  
  405.  nil
  406.  
  407.  
  408.   é▒é╠éµéñé╔üA2 é┬é╠âèâXâgé╔ò¬ë≡é┼é½éΘæSé─é╠ægé▌ìçéφé╣é≡ïüé▀éΘé▒é╞é¬é┼é½
  409.  
  410. é▄é╖üB1 é┬é╠ïKæÑé┼òíÉöé╠Ägéóò√é¬é┼é½éΘé╠é¬üAæ╝é╠î╛îΩé╔é═â}âlé╠é┼é½é╚éóüA
  411.  
  412. é¿éαé╡éδéóô┴ÆÑé┼é╖üB
  413.  
  414.   ìíôxé═üAâèâXâgé╠Æåé⌐éτùvæfé≡êΩé┬æIé╘ïKæÑé≡ì∞é┴é─é▌é▄é╖üB
  415.  
  416.  
  417.      List 56 : ùvæfé╠æIæ≡
  418.  
  419.    1 ((select X (X . L) L))
  420.    2 ((select X (Y . L) (Y . Z)) (select X L Z))
  421.  
  422.  
  423.   select é═æµ 2 ê°Éöé╠âèâXâgé⌐éτùvæfé≡æIé╤üAæµ 1 ê°Éöé╠ò╧Éöé╔âZâbâgé╡üA
  424.  
  425. æµ 3 ê°Éöé╔ÄcéΦé╠âèâXâgé≡âZâbâgé╡é▄é╖üB
  426.  
  427.   ì┼Åëé╠ïKæÑé═è╚ÆPé┼é╖é╦üBæµ 2 ê°Éöé╠âèâXâgé≡ò¬ë≡é╡üAɵô¬é╠ùvæfé≡æIé╤é▄
  428.  
  429. é╖üBì─ÄÄìsé╠Ä₧é╔ 2 ìsû┌é╠ïKæÑé¬Ä└ìsé│éΩé▄é╖üBè∙é╔æµ 1 ùvæfé═æIæ≡é│éΩé─éó
  430.  
  431. éΘé╠é┼üAé╗éΩé≡ĵéΦÅ£éóé╜ÄcéΦé╠âèâXâgé⌐éτùvæfé≡æIé╫é╬éóéóéφé»é┼é╖üB
  432.  
  433.   ô¬òöé╠æµ 2 ê°Éö (Y . L) é┼âèâXâgé≡ò¬ë≡é╡üAselect é≡ì─ïAî─é╤Åoé╡é╡é▄é╖üB
  434.  
  435. ùvæf Y é═ĵéΦÅ£éóé╜âèâXâg Z é╔Æ╟ë┴é╖éΘé▒é╞é≡é¿ûYéΩé╚é¡üBé╗éΩé┼é═Ä└ìsé╡é─
  436.  
  437. é▌é▄é╡éσéñüB
  438.  
  439.  
  440.  Lisp > (Q '(select X (a b c) Y))
  441.  Y = (b c)
  442.  X = a
  443.  
  444.  Y = (a c)
  445.  X = b
  446.  
  447.  Y = (a b)
  448.  X = c
  449.  
  450.  nil
  451.  
  452.  
  453.   é▒é╠ select é≡Ägé┴é─Åçù±é≡ïüé▀éΘé▒é╞é¬é┼é½é▄é╖üB
  454.  
  455.  
  456.      List 57 : Åçù±é≡ïüé▀éΘ
  457.  
  458.    1 ((perm nil nil))
  459.    2 ((perm X (Z . L)) (select Z X Y) (perm Y L))
  460.  
  461.  
  462.   perm é═üAæµ 1 ê°Éöé╠âèâXâgé╔èiö[é│éΩé─éóéΘùvæfé╠Åçù±é≡üAæµ 2 ê°Éöé╠ò╧
  463.  
  464. Éöé╔ïüé▀é▄é╖üB2 ìsû┌é╠ïKæÑé≡î⌐é─é¡é╛é│éóüBX é⌐éτ select é┼ùvæfé≡êΩé┬æIé╤
  465.  
  466. Z é╔âZâbâgé╡é▄é╖üBăé╔üAÄcé┴é╜âèâXâg Y é╠Åçù±é≡ perm é┼ïüé▀üAé╗é╠îïë╩ L
  467.  
  468. é╔ Z é≡Æ╟ë┴é╖éΩé╬üAX é╠Åçù±é═è«É¼é╡é▄é╖üBì─ïAé╠ÆΓÄ~Å≡îÅé═üAâèâXâgé╠ùvæf
  469.  
  470. é¬û│é¡é╚é┴é╜ÅΩìçé┼é╖üB
  471.  
  472.   ì─ÄÄìsé╖éΘé╜é╤é╔ select é═ÉVé╡éóùvæfé≡ò╘é╖é╠é┼üAé▒éΩé┼æSé─é╠Åçù±é≡ïüé▀
  473.  
  474. éΘé▒é╞é¬é┼é½éΘé╠é┼é╖üBé┼é═üAÄ└ìsé╡é─é▌é▄é╡éσéñüB
  475.  
  476.  
  477.  Lisp > (Q '(perm (a b c) Y))
  478.  Y = (a b c)
  479.  
  480.  Y = (a c b)
  481.  
  482.  Y = (b a c)
  483.  
  484.  Y = (b c a)
  485.  
  486.  Y = (c a b)
  487.  
  488.  Y = (c b a)
  489.  
  490.  nil
  491.  
  492.  
  493.   É│Åφé╔ô«ì∞é╡é─éóé▄é╖é╦üBâpâ^ü[âôâ}âbâ`âôâOé╞âoâbâNâgâëâbâNé╛é»é┼üAé▒é▒
  494.  
  495. é▄é┼âèâXâgæÇì∞é¬é┼é½éΘé╞é═ï┴é½é┼é╖üBé╜é╛üAò╧Éöé╠Ägéóò√é¬ébéΓ Lisp é╞æσé½
  496.  
  497. é¡ê┘é╚éΘé╠é┼üAè╡éΩéΘé▄é┼é┐éσé┴é╞ïΩÿJé╡é╗éñé┼é╖é╦üBâèâXâgæÇì∞é╠ïKæÑé═âtâ@
  498.  
  499. âCâï LIST.DAT é╔èiö[é│éΩé─éóé▄é╖üBÄ└ì█é╔ô«ì∞é│é╣é─é▌é─é¡é╛é│éóüB
  500.  
  501.  
  502.   é▒éΩé▄é┼ì∞ɼé╡é╜âèâXâgæÇì∞é═ Prolog é┼éαô»é╢éµéñé╔ìséªé▄é╖üBÄQìlé▄é┼é╔üA
  503.  
  504. Prolog é┼Åæé⌐éΩé╜âvâìâOâëâÇé≡Īé╡é▄é╖üB
  505.  
  506.  
  507.      List 58 : Éµô¬é╠ùvæfé≡ĵéΦÅoé╖
  508.  
  509.    1 first( [X|Y], X ).
  510.  
  511.  
  512.      List 59 : Éµô¬é╠ùvæfé≡ĵéΦÅ£éóé╜âèâXâgé≡ïüé▀éΘ
  513.  
  514.    1 rest( [X|Y], Y ).
  515.  
  516.  
  517.      List 60 : âèâXâgé╠ɵô¬é╔âfü[â^é≡Æ╟ë┴
  518.  
  519.    1 add_to_list( X, L, [X | L] ).
  520.  
  521.  
  522.      List 61 : îïìç
  523.  
  524.    1 append( [], X, X ).
  525.    2 append( [U | X], Y, [U | Z] ) :- append( X, Y, Z ).
  526.  
  527.  
  528.      List 62 : ùvæfé╠æIæ≡
  529.  
  530.    1 select( X, [X | L], L).
  531.    2 select( X, [Y | L], [Y | Z]) :- select( X, L, Z ).
  532.  
  533.  
  534.      List 63 : Åçù±é≡ïüé▀éΘ
  535.  
  536.    1 perm( [], [] ).
  537.    2 perm( X, [Z | L] ) :- select( Z, X, Y ), perm( Y, L ).
  538.  
  539.  
  540.   Prolog é┼é═üAâèâXâgé≡ [X, Y, Z] é╠éµéñé╔ [] é┼ò\é╡é▄é╖üBâhâbâgæ╬é╠âhâb
  541.  
  542. âg . é╔æ╬ë₧é╖éΘé╠鬠| é┼é╖üBâGâLâXâpü[âgâVâXâeâÇé╠ïKæÑé╞üAé┘é╞é±é╟ô»é╢é┼
  543.  
  544. é╖é╦üBé▒é╠âVâXâeâÇé╔üAÉöÆlëëÄZüAÅ≡îÅò¬è≥üAôⁿÅoù═é╚é╟é╠ï@ö\é≡ægé▌ì₧é▐é▒é╞
  545.  
  546. é┼üAéµéΦéóé┴é╗éñ Prolog âCâôâ^âvâèâ^é╔ï▀é├é»éΘé▒é╞é¬é┼é½é▄é╖üB
  547.  
  548.  
  549.  
  550.  
  551. üiédénéeüj
  552.